<?php
/**
 * Source code of CoreException class
 * @category php-gtk-ide
 * @package core
 * @subpackage exceptions
 * @author Juan Benavides Romero <juan.benavides.romero@gmail.com>
 */


/**
 * CoreException as the base exception of php-gtk-ide
 * @category php-gtk-ide
 * @package core
 * @subpackage exceptions
 * @author Juan Benavides Romero <juan.benavides.romero@gmail.com>
 */
class CoreException extends Exception {
    /**
     * Default constructor. Inidates all params to trace the error.
     * @param int $code Exception code
     * @param string $message Exception message
     * @param string $file File who throws the exception
     * @param int $line Line where generate the error
     * @param array $context Variables context when the exception was throw
     */
    public function __construct($code, $message, $file = null, $line = null, $context = null) {
		parent::__construct($message, $code);
    }//__construct
}//CoreException
?>
